3.24 \(\int \frac{x (A+B x+C x^2)}{a+b x^2+c x^4} \, dx\)
Optimal. Leaf size=223 \[ -\frac{(2 A c-b C) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{2 c \sqrt{b^2-4 a c}}-\frac{B \sqrt{b-\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{B \sqrt{\sqrt{b^2-4 a c}+b} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{C \log \left (a+b x^2+c x^4\right )}{4 c} \]
[Out]
-((B*Sqrt[b - Sqrt[b^2 - 4*a*c]]*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b - Sqrt[b^2 - 4*a*c]]])/(Sqrt[2]*Sqrt[c]*Sqr
t[b^2 - 4*a*c])) + (B*Sqrt[b + Sqrt[b^2 - 4*a*c]]*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b + Sqrt[b^2 - 4*a*c]]])/(Sq
rt[2]*Sqrt[c]*Sqrt[b^2 - 4*a*c]) - ((2*A*c - b*C)*ArcTanh[(b + 2*c*x^2)/Sqrt[b^2 - 4*a*c]])/(2*c*Sqrt[b^2 - 4*
a*c]) + (C*Log[a + b*x^2 + c*x^4])/(4*c)
________________________________________________________________________________________
Rubi [A] time = 0.212854, antiderivative size = 223, normalized size of antiderivative = 1.,
number of steps used = 10, number of rules used = 9, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.346, Rules used
= {1662, 1247, 634, 618, 206, 628, 12, 1130, 205} \[ -\frac{(2 A c-b C) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{2 c \sqrt{b^2-4 a c}}-\frac{B \sqrt{b-\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{B \sqrt{\sqrt{b^2-4 a c}+b} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{C \log \left (a+b x^2+c x^4\right )}{4 c} \]
Antiderivative was successfully verified.
[In]
Int[(x*(A + B*x + C*x^2))/(a + b*x^2 + c*x^4),x]
[Out]
-((B*Sqrt[b - Sqrt[b^2 - 4*a*c]]*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b - Sqrt[b^2 - 4*a*c]]])/(Sqrt[2]*Sqrt[c]*Sqr
t[b^2 - 4*a*c])) + (B*Sqrt[b + Sqrt[b^2 - 4*a*c]]*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b + Sqrt[b^2 - 4*a*c]]])/(Sq
rt[2]*Sqrt[c]*Sqrt[b^2 - 4*a*c]) - ((2*A*c - b*C)*ArcTanh[(b + 2*c*x^2)/Sqrt[b^2 - 4*a*c]])/(2*c*Sqrt[b^2 - 4*
a*c]) + (C*Log[a + b*x^2 + c*x^4])/(4*c)
Rule 1662
Int[(Pq_)*((d_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_), x_Symbol] :> Module[{q = Expon[Pq, x],
k}, Int[(d*x)^m*Sum[Coeff[Pq, x, 2*k]*x^(2*k), {k, 0, q/2 + 1}]*(a + b*x^2 + c*x^4)^p, x] + Dist[1/d, Int[(d*
x)^(m + 1)*Sum[Coeff[Pq, x, 2*k + 1]*x^(2*k), {k, 0, (q - 1)/2 + 1}]*(a + b*x^2 + c*x^4)^p, x], x]] /; FreeQ[{
a, b, c, d, m, p}, x] && PolyQ[Pq, x] && !PolyQ[Pq, x^2]
Rule 1247
Int[(x_)*((d_) + (e_.)*(x_)^2)^(q_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_.), x_Symbol] :> Dist[1/2, Subst[
Int[(d + e*x)^q*(a + b*x + c*x^2)^p, x], x, x^2], x] /; FreeQ[{a, b, c, d, e, p, q}, x]
Rule 634
Int[((d_.) + (e_.)*(x_))/((a_) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Dist[(2*c*d - b*e)/(2*c), Int[1/(a +
b*x + c*x^2), x], x] + Dist[e/(2*c), Int[(b + 2*c*x)/(a + b*x + c*x^2), x], x] /; FreeQ[{a, b, c, d, e}, x] &
& NeQ[2*c*d - b*e, 0] && NeQ[b^2 - 4*a*c, 0] && !NiceSqrtQ[b^2 - 4*a*c]
Rule 618
Int[((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(-1), x_Symbol] :> Dist[-2, Subst[Int[1/Simp[b^2 - 4*a*c - x^2, x], x]
, x, b + 2*c*x], x] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*a*c, 0]
Rule 206
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1*ArcTanh[(Rt[-b, 2]*x)/Rt[a, 2]])/(Rt[a, 2]*Rt[-b, 2]), x]
/; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])
Rule 628
Int[((d_) + (e_.)*(x_))/((a_.) + (b_.)*(x_) + (c_.)*(x_)^2), x_Symbol] :> Simp[(d*Log[RemoveContent[a + b*x +
c*x^2, x]])/b, x] /; FreeQ[{a, b, c, d, e}, x] && EqQ[2*c*d - b*e, 0]
Rule 12
Int[(a_)*(u_), x_Symbol] :> Dist[a, Int[u, x], x] /; FreeQ[a, x] && !MatchQ[u, (b_)*(v_) /; FreeQ[b, x]]
Rule 1130
Int[((d_.)*(x_))^(m_)/((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Dist[(
d^2*(b/q + 1))/2, Int[(d*x)^(m - 2)/(b/2 + q/2 + c*x^2), x], x] - Dist[(d^2*(b/q - 1))/2, Int[(d*x)^(m - 2)/(b
/2 - q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c, d}, x] && NeQ[b^2 - 4*a*c, 0] && GeQ[m, 2]
Rule 205
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[a/b, 2]*ArcTan[x/Rt[a/b, 2]])/a, x] /; FreeQ[{a, b}, x]
&& PosQ[a/b]
Rubi steps
\begin{align*} \int \frac{x \left (A+B x+C x^2\right )}{a+b x^2+c x^4} \, dx &=\int \frac{B x^2}{a+b x^2+c x^4} \, dx+\int \frac{x \left (A+C x^2\right )}{a+b x^2+c x^4} \, dx\\ &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{A+C x}{a+b x+c x^2} \, dx,x,x^2\right )+B \int \frac{x^2}{a+b x^2+c x^4} \, dx\\ &=\frac{1}{2} \left (B \left (1-\frac{b}{\sqrt{b^2-4 a c}}\right )\right ) \int \frac{1}{\frac{b}{2}-\frac{1}{2} \sqrt{b^2-4 a c}+c x^2} \, dx+\frac{1}{2} \left (B \left (1+\frac{b}{\sqrt{b^2-4 a c}}\right )\right ) \int \frac{1}{\frac{b}{2}+\frac{1}{2} \sqrt{b^2-4 a c}+c x^2} \, dx+\frac{C \operatorname{Subst}\left (\int \frac{b+2 c x}{a+b x+c x^2} \, dx,x,x^2\right )}{4 c}+\frac{(2 A c-b C) \operatorname{Subst}\left (\int \frac{1}{a+b x+c x^2} \, dx,x,x^2\right )}{4 c}\\ &=-\frac{B \sqrt{b-\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{B \sqrt{b+\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b+\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{C \log \left (a+b x^2+c x^4\right )}{4 c}-\frac{(2 A c-b C) \operatorname{Subst}\left (\int \frac{1}{b^2-4 a c-x^2} \, dx,x,b+2 c x^2\right )}{2 c}\\ &=-\frac{B \sqrt{b-\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}+\frac{B \sqrt{b+\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b+\sqrt{b^2-4 a c}}}\right )}{\sqrt{2} \sqrt{c} \sqrt{b^2-4 a c}}-\frac{(2 A c-b C) \tanh ^{-1}\left (\frac{b+2 c x^2}{\sqrt{b^2-4 a c}}\right )}{2 c \sqrt{b^2-4 a c}}+\frac{C \log \left (a+b x^2+c x^4\right )}{4 c}\\ \end{align*}
Mathematica [A] time = 0.396297, size = 240, normalized size = 1.08 \[ \frac{\left (C \left (\sqrt{b^2-4 a c}-b\right )+2 A c\right ) \log \left (\sqrt{b^2-4 a c}-b-2 c x^2\right )-\left (2 A c-C \left (\sqrt{b^2-4 a c}+b\right )\right ) \log \left (\sqrt{b^2-4 a c}+b+2 c x^2\right )-2 \sqrt{2} B \sqrt{c} \sqrt{b-\sqrt{b^2-4 a c}} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{b-\sqrt{b^2-4 a c}}}\right )+2 \sqrt{2} B \sqrt{c} \sqrt{\sqrt{b^2-4 a c}+b} \tan ^{-1}\left (\frac{\sqrt{2} \sqrt{c} x}{\sqrt{\sqrt{b^2-4 a c}+b}}\right )}{4 c \sqrt{b^2-4 a c}} \]
Antiderivative was successfully verified.
[In]
Integrate[(x*(A + B*x + C*x^2))/(a + b*x^2 + c*x^4),x]
[Out]
(-2*Sqrt[2]*B*Sqrt[c]*Sqrt[b - Sqrt[b^2 - 4*a*c]]*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b - Sqrt[b^2 - 4*a*c]]] + 2*
Sqrt[2]*B*Sqrt[c]*Sqrt[b + Sqrt[b^2 - 4*a*c]]*ArcTan[(Sqrt[2]*Sqrt[c]*x)/Sqrt[b + Sqrt[b^2 - 4*a*c]]] + (2*A*c
+ (-b + Sqrt[b^2 - 4*a*c])*C)*Log[-b + Sqrt[b^2 - 4*a*c] - 2*c*x^2] - (2*A*c - (b + Sqrt[b^2 - 4*a*c])*C)*Log
[b + Sqrt[b^2 - 4*a*c] + 2*c*x^2])/(4*c*Sqrt[b^2 - 4*a*c])
________________________________________________________________________________________
Maple [B] time = 0.023, size = 728, normalized size = 3.3 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(x*(C*x^2+B*x+A)/(c*x^4+b*x^2+a),x)
[Out]
-1/2/(4*a*c-b^2)*ln(-2*c*x^2+(-4*a*c+b^2)^(1/2)-b)*A*(-4*a*c+b^2)^(1/2)+1/4/c/(4*a*c-b^2)*ln(-2*c*x^2+(-4*a*c+
b^2)^(1/2)-b)*C*(-4*a*c+b^2)^(1/2)*b+1/(4*a*c-b^2)*ln(-2*c*x^2+(-4*a*c+b^2)^(1/2)-b)*a*C-1/4/c/(4*a*c-b^2)*ln(
-2*c*x^2+(-4*a*c+b^2)^(1/2)-b)*b^2*C-1/2/(4*a*c-b^2)*2^(1/2)/(((-4*a*c+b^2)^(1/2)-b)*c)^(1/2)*arctanh(c*x*2^(1
/2)/(((-4*a*c+b^2)^(1/2)-b)*c)^(1/2))*B*(-4*a*c+b^2)^(1/2)*b-2*c/(4*a*c-b^2)*2^(1/2)/(((-4*a*c+b^2)^(1/2)-b)*c
)^(1/2)*arctanh(c*x*2^(1/2)/(((-4*a*c+b^2)^(1/2)-b)*c)^(1/2))*B*a+1/2/(4*a*c-b^2)*2^(1/2)/(((-4*a*c+b^2)^(1/2)
-b)*c)^(1/2)*arctanh(c*x*2^(1/2)/(((-4*a*c+b^2)^(1/2)-b)*c)^(1/2))*B*b^2+1/2/(4*a*c-b^2)*ln(2*c*x^2+(-4*a*c+b^
2)^(1/2)+b)*A*(-4*a*c+b^2)^(1/2)-1/4/c/(4*a*c-b^2)*ln(2*c*x^2+(-4*a*c+b^2)^(1/2)+b)*C*(-4*a*c+b^2)^(1/2)*b+1/(
4*a*c-b^2)*ln(2*c*x^2+(-4*a*c+b^2)^(1/2)+b)*a*C-1/4/c/(4*a*c-b^2)*ln(2*c*x^2+(-4*a*c+b^2)^(1/2)+b)*b^2*C-1/2/(
4*a*c-b^2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2))*B*(-4
*a*c+b^2)^(1/2)*b+2*c/(4*a*c-b^2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x*2^(1/2)/((b+(-4*a*c+b^2)
^(1/2))*c)^(1/2))*B*a-1/2/(4*a*c-b^2)*2^(1/2)/((b+(-4*a*c+b^2)^(1/2))*c)^(1/2)*arctan(c*x*2^(1/2)/((b+(-4*a*c+
b^2)^(1/2))*c)^(1/2))*B*b^2
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (C x^{2} + B x + A\right )} x}{c x^{4} + b x^{2} + a}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x*(C*x^2+B*x+A)/(c*x^4+b*x^2+a),x, algorithm="maxima")
[Out]
integrate((C*x^2 + B*x + A)*x/(c*x^4 + b*x^2 + a), x)
________________________________________________________________________________________
Fricas [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x*(C*x^2+B*x+A)/(c*x^4+b*x^2+a),x, algorithm="fricas")
[Out]
Timed out
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x*(C*x**2+B*x+A)/(c*x**4+b*x**2+a),x)
[Out]
Timed out
________________________________________________________________________________________
Giac [C] time = 3.23748, size = 7461, normalized size = 33.46 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(x*(C*x^2+B*x+A)/(c*x^4+b*x^2+a),x, algorithm="giac")
[Out]
2*(3*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcs
in(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - (a*c^3)^(
3/4)*B*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*
c)*b/(a*abs(c)))))^3 - 9*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cos
h(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 3*(a*c^3)^(3/4)*B*cosh(1/2*imag_part(arcsin
(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sinh(1/2*im
ag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 9*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*
c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real_part(arcsin
(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 3*(a*c^3)^(3/4)*B*c
osh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c)))))^3*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 3*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*s
inh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 + (a*c^3)^(3/4)*B*sin(5/4*pi + 1/2*real_part(arcsin(1
/2*sqrt(a*c)*b/(a*abs(c)))))^3*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 - sqrt(a*c)*C*b*c*cos
(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(
c)))))^2*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 2*sqrt(a*c)*A*c^2*cos(5/4*pi + 1/2*
real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(5
/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 2*sqrt(a*c)*C*b*c*cos(5/4*pi + 1/2*real_part(arcs
in(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 4*sqrt(a*
c)*A*c^2*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*
c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1
/2*sqrt(a*c)*b/(a*abs(c))))) - sqrt(a*c)*C*b*c*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))
*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))^2 + 2*sqrt(a*c)*A*c^2*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(5/4*pi +
1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2)*
arctan(-((a/c)^(1/4)*cos(5/4*pi + 1/2*arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))) - x)/((a/c)^(1/4)*sin(5/4*pi + 1/2*a
rcsin(1/2*sqrt(a*c)*b/(a*abs(c))))))/(sqrt(b^2 - 4*a*c)*b*c*abs(c) - (b^2 - 4*a*c)*c^2) + 2*(3*(a*c^3)^(3/4)*B
*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(
a*abs(c)))))^3*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - (a*c^3)^(3/4)*B*cosh(1/2*imag
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3
- 9*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcs
in(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*im
ag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 3*(a*c^3)^(3/4)*B*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))^2*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sinh(1/2*imag_part(arcsin(1/2*s
qrt(a*c)*b/(a*abs(c))))) + 9*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2
*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 3*(a*c^3)^(3/4)*B*cosh(1/2*imag_part(ar
csin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sinh(1/2*
imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 3*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqr
t(a*c)*b/(a*abs(c)))))^2*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(ar
csin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 + (a*c^3)^(3/4)*B*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c)))))^3*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 - sqrt(a*c)*C*b*c*cos(1/4*pi + 1/2*real_p
art(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(1/4*pi
+ 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 2*sqrt(a*c)*A*c^2*cos(1/4*pi + 1/2*real_part(arcsin(1/2
*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(1/4*pi + 1/2*real_par
t(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 2*sqrt(a*c)*C*b*c*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(
a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqr
t(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 4*sqrt(a*c)*A*c^2*cos(1/4*pi
+ 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*s
in(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c))))) + sqrt(a*c)*C*b*c*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*re
al_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqr
t(a*c)*A*c^2*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*real_part(arcsin
(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2)*arctan(-((a/c)^(1/4)
*cos(1/4*pi + 1/2*arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))) - x)/((a/c)^(1/4)*sin(1/4*pi + 1/2*arcsin(1/2*sqrt(a*c)*
b/(a*abs(c))))))/(sqrt(b^2 - 4*a*c)*b*c*abs(c) - (b^2 - 4*a*c)*c^2) - 1/2*(2*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*
real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 - 6
*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2
*sqrt(a*c)*b/(a*abs(c)))))^3*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 6*(a*c^3)^(3/
4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)
*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 18*(a*c^3)^(3/4)*B*cos(5/4*pi + 1
/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*si
n(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*a
bs(c))))) + 6*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*cosh(1/2*imag_
part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 18*(a*c^
3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(
a*c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcs
in(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 2*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c)))))^3*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 + 6*(a*c^3)^(3/4)*B*cos(5/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*s
inh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 + sqrt(a*c)*C*b*c*cos(5/4*pi + 1/2*real_part(arcsin(1
/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqrt(a*c)*A*c^2*c
os(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))^2 - sqrt(a*c)*C*b*c*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(5/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 2*sqrt(a*c)*A*c^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))^2*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqrt(a*c)*C*b*c*cos(5/4*pi
+ 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))
*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 4*sqrt(a*c)*A*c^2*cos(5/4*pi + 1/2*real_part(arcsin
(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(ar
csin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 2*sqrt(a*c)*C*b*c*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))
*sin(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(
a*abs(c))))) + 4*sqrt(a*c)*A*c^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(5/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + sqrt(a*
c)*C*b*c*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(
a*c)*b/(a*abs(c)))))^2 - 2*sqrt(a*c)*A*c^2*cos(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*s
inh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - sqrt(a*c)*C*b*c*sin(5/4*pi + 1/2*real_part(arcsin(1
/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqrt(a*c)*A*c^2*s
in(5/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))^2)*log(-2*x*(a/c)^(1/4)*cos(5/4*pi + 1/2*arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))) + x^2 + sqrt(a/c))/(sq
rt(b^2 - 4*a*c)*b*c*abs(c) - (b^2 - 4*a*c)*c^2) - 1/2*(2*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2
*sqrt(a*c)*b/(a*abs(c)))))^3*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 - 6*(a*c^3)^(3/4)*B*cos
(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(
c)))))^3*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 6*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/
2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*s
inh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 18*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(
1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(1/4*pi + 1/2*real_
part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) + 6*(a*c^3
)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*cosh(1/2*imag_part(arcsin(1/2*sqrt
(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - 18*(a*c^3)^(3/4)*B*cos(1/4*p
i + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))
*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(
a*abs(c)))))^2 - 2*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3*sinh(1/2*
imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 + 6*(a*c^3)^(3/4)*B*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqr
t(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(ar
csin(1/2*sqrt(a*c)*b/(a*abs(c)))))^3 + sqrt(a*c)*C*b*c*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqrt(a*c)*A*c^2*cos(1/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - sqrt(
a*c)*C*b*c*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqr
t(a*c)*b/(a*abs(c)))))^2 - 2*sqrt(a*c)*A*c^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sin(1/4
*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqrt(a*c)*C*b*c*cos(1/4*pi + 1/2*real_part(arcs
in(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(
arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 4*sqrt(a*c)*A*c^2*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*
abs(c)))))^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b
/(a*abs(c))))) + 2*sqrt(a*c)*C*b*c*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*re
al_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - 4*sqr
t(a*c)*A*c^2*cosh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqr
t(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c))))) - sqrt(a*c)*C*b*c*cos(1/4*pi
+ 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))
^2 - 2*sqrt(a*c)*A*c^2*cos(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(ar
csin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 - sqrt(a*c)*C*b*c*sin(1/4*pi + 1/2*real_part(arcsin(1/2*sqrt(a*c)*b/(a*ab
s(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2 + 2*sqrt(a*c)*A*c^2*sin(1/4*pi + 1/2*real
_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2*sinh(1/2*imag_part(arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))))^2)*log(-2
*x*(a/c)^(1/4)*cos(1/4*pi + 1/2*arcsin(1/2*sqrt(a*c)*b/(a*abs(c)))) + x^2 + sqrt(a/c))/(sqrt(b^2 - 4*a*c)*b*c*
abs(c) - (b^2 - 4*a*c)*c^2) + 1/4*C*log(abs(c*x^4 + b*x^2 + a))/c